Auto merge of #1860 - alexcrichton:use-filetime-set-file-times, r=alexcrichton
authorbors <bors@rust-lang.org>
Wed, 29 Jul 2015 17:27:23 +0000 (17:27 +0000)
committerbors <bors@rust-lang.org>
Wed, 29 Jul 2015 17:27:23 +0000 (17:27 +0000)
Don't vendor the implementation locally.

Closes #1859


Trivial merge